Em uma conferência de 1936, intitulada Hölderlin e a Essência da Poesia , o filósofo alemão Martin Heidegger comenta um escrito do poeta Friedrich Hölderlin, que caracteriza a linguagem como “o mais perigoso de todos os bens”. Na leitura de Heidegger, linguagem é, enquanto força de exposição do ser, também o principal perigo para o próprio ser. Isto porque, uma vez que o ser expõe-se por meio dos entes, ele jamais se deixa apreender enquanto tal, abrindo a possibilidade de se (...) tomar o ente pelo ser. Dessa forma, pertence à linguagem uma intrínseca ambiguidade: ao mesmo tempo em que é por meio dela que o ser se revela e expõe , é também por meio desse revelar que o ser se encobre – e ao manter-se encoberto, corre o risco de se deixar tomar pelo ente como vigência constante. Também em Ser e Tempo , obra de 1927, observa-se que Heidegger pensa a ambiguidade característica da linguagem, ao fazer derivar o enunciado demonstrativo da interpretação existencial. Nesse fenômeno, o ente se mostra não desde a essência, tal como é pensada pela tradição metafísica, mas como pura “manualidade”, isto é, uma possibilidade projetada no ser da existência, do Dasein. (shrink)

Em uma conferência de 1936, intitulada Hölderlin e a Essência da Poesia, o filósofo alemão Martin Heidegger comenta um escrito do poeta Friedrich Hölderlin, que caracteriza a linguagem como “o mais perigoso de todos os bens”. Na leitura de Heidegger, linguagem é, enquanto força de exposição do ser, também o principal perigo para o próprio ser. Isto porque, uma vez que o ser expõe-se por meio dos entes, ele jamais se deixa apreender enquanto tal, abrindo a possibilidade de se tomar (...) o ente pelo ser. Dessa forma, pertence à linguagem uma intrínseca ambiguidade: ao mesmo tempo em que é por meio dela que o ser se revela e expõe, é também por meio desse revelar que o ser se encobre – e ao manter-se encoberto, corre o risco de se deixar tomar pelo ente como vigência constante. Também em Ser e Tempo, obra de 1927, observa-se que Heidegger pensa a ambiguidade característica da linguagem, ao fazer derivar o enunciado demonstrativo da interpretação existencial. Nesse fenômeno, o ente se mostra não desde a essência, tal como é pensada pela tradição metafísica, mas como pura “manualidade”, isto é, uma possibilidade projetada no ser da existência, do Dasein. (shrink)

No presente trabalho, pretende-se abordar a destruição fenomenológica, operada por Heidegger no ensaio A Origem da Obra de Arte, dos termos "matéria" e "forma", tomados da filosofia aristotélica como fio condutor da interpretação do ente enquanto tal e, por conseguinte, também da obra de arte. Para Heidegger, tal par conceitual procede da interpretação do modo de ser do utensílio, e, portanto, não diz respeito ao modo de ser específico da obra. Como a história da metafísica orientou-se pelos termos "matéria" e (...) "forma" como fio condutor da interpretação do ente como tal, toda estética e toda filosofia da arte estão, para Heidegger, assentadas na compreensão de um modo de ser que é estranho à obra. Cabe a desconstrução desses conceitos como primeiro passo no caminho para a essência da obra. (shrink)

LIVRO 1 Prefácio Em nome da santa Trindade. Embora estejamos afastados da alegria da felicidade bem-aventurada na cegueira deste exílio, como pena justíssima pelo pecado original, não estamos de tal modo cortados e separados dela que mesmo, no que é mutável e temporal, não saibamos buscar ou desejar a eternidade, a verdade, a felicidade. O que se percebe pelo fato de que não temos vontade nem de morrer, nem de nos enganar, nem de estar na miséria. Donde, por este instinto (...) natural, é comum aos homens querer ser felizes, · embora o desejo da felicidade se encontre de modo diverso no espírito de cada um. De fato, alguns julgam que ser feliz é apoderar- se do reino terreno; outros, ter riquezas em abundância; outros, ser elevado às honras; outros, porém, alegram-se por serem cobertos de louvores; outros, anseiam pelos prazeres carnais. Ora, a verdadeira felicidade não pode de modo nenhum ser encontrada na volubilidade desta vida. Acerca do que somos admoestados, pelo curso inteiro das Sagradas Escrituras, a que nos elevemos do que é terrestre para o celeste, onde está a verdadeira e eterna felicidade; a qual, é mais do que certo, que ninguém pode chegar, senão pela fé da paz católica, com a cooperação da caridade de Deus e do próximo. (shrink)

This work intends to present the scope and limits of the human intellectual knowledge according to Saint Thomas Aquinas, mainly on the ground of questions 84 and 85 of the first part of his Theological Summa.O presente trabalho tem a intenção de apresentar o alcance e os limites do conhecimento intelectual humano de acordo com Tomás de Aquino, tendo como base sobretudo as questões 84 e 85 da primeira parte de sua Suma de Teologia.

O propósito deste artigo é mostrar como a carta de Galileu a Cristina de Lorena procura compatibilizar o sistema copernicano com o texto bíblico. Para isso, ela obedece aos cânones da arte de escrever cartas ( ars dictaminis ) codificados desde a Idade Média, cujas partes tradicionais são: saudação, captatio benevolentiae, exposição, petição e conclusão.

Resumo: Tomás de Aquino, ao falar de ciência mostra-se influenciado pelo Segundos analíticos. Entende ciência quer como uma disposição mental, quer como um conjunto de proposições de acordo com as propriedades e relações lógicas e epistêmicas das proposições que dele fazem parte.: When dealing with science, Thomas Aquinas proves to have been influenced by the Posterior Analytics. He understands science either as a mental disposition or as a set of propositions organized according to their properties and their logical and epistemic (...) relations. (shrink)

Tomás de Aquino ou Roberto Grossetestenão podiam prever a importância que aciência matematizada da natureza assumiria apartir do século XVII. Eles, no entanto, nãocontestam a possibilidade de um conhecimentoda natureza baseado em seus aspectos quantitativose não na essência das substâncias naturais.Eles reservam um lugar para este tipo de ciênciae o justificam. Quanto a Tomás, é preciso aindalembrar que, embora para ele o objeto próprioproporcionado de nosso intelecto seja a essênciadas coisas materiais, não conhecemos as diferençasespecíficas nem das substâncias materiaisnem das (...) espirituais. Donde termos de nos contentarcom descrições no que se refere às substânciasmateriais e só podermos conhecer asespirituais por causalidade, ultrapassamento eremoção. (shrink)

The notion of hierarchy is omnipresent in 13th century. It is present even when the term is not used, as it happens regarding the faculties of the human soul, where the sensible knowledge and the passions are considered as inferiors to the intelligence and the will. However, Thomas Aquinas to describe the utmost wisdom to which the humans may aspire, viz the wisdom gift of the Holy Spirit, uses the senses and, among these ones, touch and taste, the most material (...) senses, as well as the passions, mainly love and pleasure. So, when he tries to speak about this wisdom he will characterize it as a vision or contemplation, act of the intellect, but founded upon a loving and pleasing union. This union is like a taste of the divine goodness and the touch of the soul by God. He, therefore, reverses the hierarchy of the faculties. (shrink)

Este pequeno texto tenta investigar as origens do conhecido exemplo “o riso é o próprio do homem”. Conclui-se que, se não a origem, a difusão do exemplo encontra-se na Isagoge de Porfírio.

O presente artigo visa apresentar o carácter negativo do conhecimento humano de Deus, de acordo com S. Tomás de Aquino. Tal dá-se por causa do objecto próprio do conhecimento intelectual humano (natureza existente na matéria) e por causa da transcendência de Deus, que está acima de tudo o que existe e que podemos apreender. Esta característica do conhecimento humano de Deus afecta mesmo a revelação divina e a sagrada doutrina. Com efeito, se a revelação alarga o alcance do conhecimento humano, (...) não lhe altera o modo de proceder. Por outro lado, a sagrada doutrina visa "salvar o mistério divino", sem pretender compreendê-lo: sicut ignoto conjungitur. /// The aim of this article is to present the negative character of the human knowledge of God according to St. Thomas Aquinas. This happens because of the object of the intellectual human knowledge (nature existing in matter) and because of the transcendence of God, who is above all that exists and that we can apprehend. This characteristic of God's human knowledge affects even divine revelation and sacred doctrine. Indeed, if revelation widens the scope of human knowledge, it does not change its way of proceeding. On the other hand, sacred doctrine aims "to save divine mystery", without intending to comprehend it: sicut ignoto conjungitur. (shrink)

O presente texto se debruçou sobre as questões relacionadas ao ensino e avaliação da aprendizagem em filosofia após sua presença obrigatória nos currículos de ensino médio do país. Documentos como as Orientações Curriculares Nacionais e o Currículo de Filosofia do Estado de São Paulo indicam uma abordagem de seu ensino pautado por competências e habilidades.

O presente artigo visa apresentar o carácter negativo do conhecimento humano de Deus, de acordo com S. Tomás de Aquino. Tal dá-se por causa do objecto próprio do conhecimento intelectual humano e por causa da transcendência de Deus, que está acima de tudo o que existe e que podemos apreender. Esta característica do conhecimento humano de Deus afecta mesmo a revelação divina e a sagrada doutrina. Com efeito, se a revelação alarga o alcance do conhecimento humano, não lhe altera o (...) modo de proceder. Por outro lado, a sagrada doutrina visa "salvar o mistério divino", sem pretender compreendê-lo: sicut ignoto conjungitur. /// The aim of this article is to present the negative character of the human knowledge of God according to St. Thomas Aquinas. This happens because of the object of the intellectual human knowledge and because of the transcendence of God, who is above all that exists and that we can apprehend. This characteristic of God's human knowledge affects even divine revelation and sacred doctrine. Indeed, if revelation widens the scope of human knowledge, it does not change its way of proceeding. On the other hand, sacred doctrine aims "to save divine mystery", without intending to comprehend it: sicut ignoto conjungitur. (shrink)

O presente texto é uma exposição do proêmio do Comentário de Tomás de Aquino à Metafísica de Aristóteles. Segue pari passu o texto do proêmio, mostrando sua articulação lógica e esclarecendo alguns conceitos utilizados no mesmo. Contém em anexo uma tradução em português do texto do proêmio, o plano do mesmo e o detalhamento deste quanto ao item referente “ao que é inteligível ao máximo segundo o conhecimento intelectual”, isto é, “de acordo com a separação da matéria”.

In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic (...) Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning with a logic programming semantics. (shrink)

O presente artigo deseja expor a apreciação dubitativa do realismo na Primeira Meditação, no intuito de mostrar o impacto dessa ação cartesiana sobre a doutrina da creatio ex nihilo, consolidada filosoficamente por Tomás de Aquino como autêntica cosmologia cristã, em substituição à cosmologia pagã erguida sobre o princípio ex nihilo nihil fit. Faremos, primeiramente, uma breve exposição dos fundamentos realistas que embasam as provas da criação elaboradas pelo Aquinate. Em seguida, apresentaremos como a submissão do realismo ao método cartesiano da (...) dúvida acarreta o inevitável desmoronamento do edifício cosmológico cristão. (shrink)

No cartesianismo contemporâneo, devido à retomada da teoria da livre criação das verdades eternas, alguns intérpretes trazem ao debate internacional um interessante viés interpretativo do pensamento de Descartes. Segundo eles, ao apresentar a indiferença da vontade como atributo de Deus, Descartes instaura uma concepção totalmente perigosa, da qual derivam a incompatibilidade entre a indiferença divina e o sistema cartesiano, deflagrando, enfim, um irracionalismo radical.

Research has demonstrated that policing is a stressful occupation and has a negative impact on police officers’ mental and physical health, performance, and interactions with citizens. Mental health at the workplace has become a concern due to the costs of depression, anxiety, burnout, and even suicide, which is high among police officers.To ameliorate occupational health, it is crucial therefore to identify stress and burnout levels on a regular basis. However, the instruments frequently used to measure stress have not valorized the (...) specificity of policing tasks. This study aims: i) conducting a literature review, to identify questionnaires used to assess occupational stress and burnout among police officers; ii) to analyze the psychometric characteristics of a Portuguese version of Operational Police Stress Questionnaire (PSQ-Op); and, using the PSQ-op and other questionnaires, iii) to identify operational stress, burnout, and distress levels among Portuguese police officers. The literature review identified 108 studies, which use a multiplicity of questionnaires to measure burnout or occupational stress among police officers, but few studies use specific police stress questionnaires. Sample sizes were mostly below 500 participants and studies were mainly developed in the last decade in the USA and Brazil, but also in another 24 countries, showing the extent of the interest in this topic. This study applied to 2057 police officers from National Portuguese Police, a force policing urban centers, the PSQ-Op, as well the Spanish Burnout Inventory and the Kessler Psychological Distress Scale.The results show that the psychometric properties of the Portuguese version of PSQ-Op are adequate. Factorial analysis revealed two dimensions defined as social and work issues, which were associated with measures of distress and burnout.Fit indices suggested a second-order solution called operational police stress. Overall, and considering the scale range of each questionnaire, the results showed moderate values of operational stress, distress, and burnout. However, considering their cut-off points, 85% of the sample presented high operational stress levels, 11% critical values for burnout, and 28% high distress levels, with 55% of the sample at risk of psychological disorder. These results reinforce the need to prevent stress and to invest in police officers’ occupational health. (shrink)

Neste artigo partimos da hipótese de que a afinidade que atrai evangélicos e conservadorismo está muito mais ligada às condições discursivas que engendram os sujeitos e suas subjetividades, do que as características intrínsecas à teologia cristã ou, especificamente, evangélica pentecostal. Com isso não queremos dizer que conformações teológicas específicas não ensejaram discursos religiosos regressivos, que a maioria de nós classificaria como conservador. Assim, chamamos a atenção, tanto para o caráter relacional, posicional das identidades evangélicas, que engendram o discurso conservador, quanto (...) para a base material deste discurso, ligando, portanto, sujeitos e formas de sujeição e subjetivação. Interessam-nos, as formas políticas em que se precipitarão os antagonismos articulados a partir dos grupos de identidade evangélica, bem como os deslocamentos na base material destes sujeitos, que possibilitam o engendramento de subjetividades atomizadas e refratárias a solidariedades coletivas exógenas a sua comunidade. Defenderemos que, embora evangélicos tenham ganhado relevo no espaço público por pautas reativas à ampliação de direitos de minorias, tais ações não se devem unicamente a aspectos intrínsecos à teologia pentecostal, ou ao seu caráter alienante ou irracional, mas, principalmente a forma como se posicionam no jogo político nacional, ou melhor, como se publicizaram, bem como a forma como o discurso de fundo conservador é acionado como estratégia de sobrevivência nas grandes cidades. (shrink)

De 1964 a 1985 o Brasil viveu sob um regime de governo ditatorial que de acordo com a historiografia mais recente foi sustentado, em grande parte, pela própria sociedade civil (MELO, 2012; COMISSÃO, 2014). Mais recentemente, a partir dos anos 1980, cresce o movimento de criação de espaços de memória corporativos com o objetivo de tornar pública a trajetória histórica das empresas (COSTA; SARAIVA, 2011). Dentre estes espaços, adquire relevância os Centros de Memória e documentação como lugares de armazenamento e (...) lembrança de memória organizacional, que ajudam a construir simbolicamente a imagem organizacional e a fornecer um senso de coerência e trajetória linear (RIBEIRO; BARBOSA, 2007). Neste contexto, e com base na documentação disponibilizada pela Comissão Nacional da Verdade, a presente pesquisa tem por objetivo identificar como o Museu Histórico da Fundação Bradesco retrata (ou deixa de retratar) o relacionamento da empresa Bradesco com o governo brasileiro no período da ditadura civil-militar. FIRMS, BRAZILIAN CIVIL-MILITARE DICTATORSHIP, AND MEMORY AND CORPORATIVE DOCUMENTATION CENTERS: AN EXPLORATORY STUDY From 1964 to 1985, Brazil lived under a dictatorial system of government that according to the latest historiography was sustained largely by civil society (MELO, 2012; COMISSÃO, 2014). More recently, since the 1980s, it is possible to be noticed the growing movement of creation of corporate memory spaces in order to make public the historical trajectory of the companies (COSTA and SARAIVA, 2011). Among these spaces, acquires relevance the Corporate Documentation and Memory Centers, which help to symbolically build the organizational image and to provide a sense of consistency and linear trajectory (RIBEIRO and BARBOSA, 2007). In this context, and based on documentation provided by the National Commission of Truth, this research aims to identify how the History Museum of Bradesco Foundation portrays (or does not portray) the relationship between Bradesco company and the Brazilian government in the period of civil-military dictatorship. (shrink)

This article gives a conceptual review of the e-value, ev(H|X) – the epistemic value of hypothesis H given observations X. This statistical significance measure was developed in order to allow logically coherent and consistent tests of hypotheses, including sharp or precise hypotheses, via the Full Bayesian Significance Test (FBST). Arguments of analysis allow a full characterization of this statistical test by its logical or compositional properties, showing a mutual complementarity between results of mathematical statistics and the logical desiderata lying at (...) the foundations of this theory. (shrink)

This paper proposes a classification of economic models into three types: historical, axiomatic and conditional. Historical or empirical models utilize the historical-deductive method, and are generalizations from the economic regularities and tendencies that we find in the real world. Axiomatic models utilize the hypothetical-deductive method; they are syllogisms whose major premise is an axiom – a self-evident truth; they are appropriate for methodological sciences such as mathematics and econometrics. Conditional economic models are likewise syllogisms, but they are suitable for economics (...) because they make for clearer and more precise economic reasoning. The criterion of truth of the substantive sciences is the conformity with reality, of the methodological science, its internal consistency. When a school of economic thought adopts mainly axiomatic models, as is the case with neoclassical economics, it implicitly falls into contradiction because their best representatives believe in the conformity with reality criterion. (shrink)

We show how the Full Bayesian Significance Test (FBST) can be used as a model selection criterion. The FBST was presented by Pereira and Stern as a coherent Bayesian significance test. Key Words: Bayesian test; Evidence; Global optimization; Information; Model selection; Numerical integration; Posterior density; Precise hypothesis; Regularization. AMS: 62A15; 62F15; 62H15.

In Joseph Butler, we have an account of human beings as moral beings that is, as this essay demonstrates, being supported by the recently emerging findings of the neurosciences. This applies particularly to Butler's portrayal of our empathic emotions. Butler discovered their moral significance for motivating and guiding moral decisions and actions before the neurosciences did. Butler has, in essence, added a sixth sense to our five senses: this is the moral sense by means of which we perceive what we (...) ought or ought not do. The moral sense yields relatively reliable moral perceptions when we love our neighbors as ourselves, and when our love for ourselves is genuine. Accurate moral perceptions will be thwarted by self-deceit—that is, by a self-partiality devoid of neighbor love, a condition that thwarts genuine self-love. This essay explores the parallels between Butler's understanding of self-deceit and Robert J. Lifton's understanding of "doubling.". (shrink)

Clearing algorithms are at the core of modern payment systems, facilitating the settling of multilateral credit messages with (near) minimum transfers of currency. Traditional clearing procedures use batch processing based on MILP - mixed-integer linear programming algorithms. The MILP approach demands intensive computational resources; moreover, it is also vulnerable to operational risks generated by possible defaults during the inter-batch period. This paper presents TORC3 - the Token-Ring Clearing Algorithm for Currency Circulation. In contrast to the MILP approach, TORC3 is a (...) real time heuristic procedure, demanding modest computational resources, and able to completely shield the clearing operation against the participating agents’ risk of default. (shrink)

A lógica não contém teoremas puramente existenciais: as únicas sentenças existenciaisválidas são aquelas com análogas universais válidas. Aqui, mostramos que istorealmente é assim quando corretamente interpretado: toda validade ex- istencial possuiuma análoga universal simples, que também é válida. Também caracterizamos validadesuniversais e existenciais em termos de tautologias.

In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic (...) Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning with a logic programming semantics. (shrink)

The relation between ex falso and disjunctive syllogism, or even the justification of ex falso based on disjunctive syllogism, is an old topic in the history of logic. This old topic reappears in contemporary logic since the introduction of minimal logic by Johansson. The disjunctive syllogism seems to be part of our general non-problematic inferential practices and superficially it does not seem to be related to or to depend on our acceptance of the frequently disputable ex falso rule. We know (...) that the acceptance of the ex falso is a sufficient condition for the acceptance of the disjunctive syllogism, but the interesting question is: is the ex falso a necessary condition for the acceptance of the disjunctive syllogism? The aim of the present paper is to discuss some possible ways to define systems that combines the preservation of the disjunctive syllogism with the rejection of the ex falso. (shrink)

In 2015 Dag Prawitz proposed an Ecumenical system where classical and intuitionistic logic could coexist in peace. The classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation and the constant for the absurd, but they would each have their own existential quantifier, disjunction and implication, with different meanings. Prawitz’ main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. The aim of the present paper is [1] (...) to prove the normalization theorem for the propositional fragment NEp of Prawitz’ ecumenical system, and [2] to show that NEp is sound and complete with respect to a Kripke-style semantics for the language of NEp. (shrink)

Abstract: The Pull Bayesian Significance Test (FBST) for precise hy- potheses is applied to a Multivariate Normal Structure (MNS) model. In the FBST we compute the evidence against the precise hypothesis. This evi- dence is the probability of the Highest Relative Surprise Set (HRSS) tangent to the sub-manifold (of the parameter space) that defines the null hypothesis. The MNS model we present appears when testing equivalence conditions for genetic expression measurements, using micro-array technology.

Sambin [6] proved the normalization theorem for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a normalization proof for GL using reductions. Indeed, Sambin's proof is a decision procedure which builds cut-free proofs. In this work we formalize this procedure as a recursive function and prove its recursiveness in an arithmetically (...) formalizable way, concluding that the normalization of GL can be formalized in PA. MSC: 03F05, 03B35, 03B45. (shrink)